$\forall$${\it the\_es}$:ES, $e$:E, $l$:IdLnk. rcvs($l$;before($e$)) $\in$ (\{$e$:E$\mid$ $\uparrow$haslnk($l$;$e$)\}  List)